Facilitating Software Maintenance by Automated Detection of Constraint Violations
نویسندگان
چکیده
In this paper, we describe CCEL, a language that allows programmers to formally express constraints on their software systems and to automatically detect violations of these constraints. We demonstrate the power, the flexibility, and the overall utility of CCEL by showing how it can express real constraints from real software developers for real systems.
منابع مشابه
Face Detection with methods based on color by using Artificial Neural Network
The face Detection methodsis used in order to provide security. The mentioned methods problems are that it cannot be categorized because of the great differences and varieties in the face of individuals. In this paper, face Detection methods has been presented for overcoming upon these problems based on skin color datum. The researcher gathered a face database of 30 individuals consisting of ov...
متن کاملEvaluating an Agent-Oriented Approach for Change Propagation
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Although many approaches have been proposed, automated change propagation is still a significant technical challenge in software engineering. In this paper we report on an evaluation of an agent-based approach for change p...
متن کاملEfficient Integrity Checking for Essential MOF + OCL in Software Repositories
The efficient detection of run-time violations of integrity constraints (or their avoidance in the first place) has not been satisfactorily addressed for the combination of object model and constraint definition language most widely accepted in industry, namely OMG’s Essential MOF and Object Constraint Language (OCL). We identify the dimensions relevant to this problem, and classify existing pr...
متن کاملThree Musketeers to the Rescue Meta-modelling, Logic Programming, and Explanation-based Constraint Programming for Pattern Description and Detection
Software maintenance is a costly and tedious phase in the software development process [37]. During this phase, a maintainer needs both to understand and to modify a program source code. Therefore, she needs a representation of the program that accurately reflects its structure and its behavior. Then, she must find those places in the program that require modifications. Finally, she must perfor...
متن کاملModularity in Design: Formal Modeling and Automated Analysis
Reasoning about the evolvability properties and economic implications of design structures is critical to high-consequence decision-making, but it remains difficult, in part due to the lack of formal theories linking design structures to evolvability and economic properties, and of automated techniques facilitating value-based decision-making. One key impediment is the lack of analyzable high-l...
متن کامل